Ideal($r$)\{i\} $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$p$:($\mid$$r$$\mid\rightarrow$Prop)$\mid$ $p$ Ideal of $r$ \}